<html>
    <head>
        <title>Example page</title>
        <link rel="stylesheet" href="base/styles.css" type="text/css" />
    </head>

    <body>
        <div style="float: left;">
            <a href="index.php">&laquo; Return to the examples overview</a>
        </div>

        <div style="float: right;">
            <?php
            if (!isset($_SESSION)) {
                session_start();
            }
            if (isset($_SESSION['NTLM_CREDENTIALS'])) {
                echo 'Logged in as ' . $_SESSION['NTLM_CREDENTIALS']['ntlm_username'] .' | <a href="base/logout.php">Log out</a>';
            }
            ?>
        </div>
        <hr style="clear: both;" />
